Distributed System Contract Monitoring

The use of behavioural contracts, to specify, regulate and verify systems, is particularly relevant to runtime monitoring of distributed systems. System distribution poses major challenges to contract monitoring, from monitoring-induced information leaks to computation load balancing, communication overheads and fault-tolerance. We present mDPi, a location-aware process calculus, for reasoning about monitoring of distributed systems. We define a family of Labelled Transition Systems for this calculus, which allow formal reasoning about different monitoring strategies at different levels of abstractions. We also illustrate the expressivity of the calculus by showing how contracts in a simple contract language can be synthesised into different mDPi monitors.Comment: In Proceedings FLACOS 2011, arXiv:1109.239

Monitoring Systems for MIMAP

Due to stabilization and structural adjustment policies, it is imperative to learn more about its impacts. Given a good database, the current thrust on devolution will facilitate the institutionalization of a community-based monitoring system. The system reduces the administrative costs associated with the design of safety net programs that are meant to counter the adverse effects of macro adjustment policies.vulnerable groups, vulnerability, MIMAP

Monitoring Systems for MIMAP

Due to stabilization and structural adjustment policies, it is imperative to learn more about its impacts. Given a good database, the current thrust on devolution will facilitate the institutionalization of a community-based monitoring system. The system reduces the administrative costs associated with the design of safety net programs that are meant to counter the adverse effects of macro adjustment policies.vulnerable groups, vulnerability, MIMAP

Low-cost autonomous 3-D monitoring systems for hydraulic engineering environments and applications with limited accuracy requirements

The details of developing autonomous 3-D motion monitoring systems based on commercial off-the-shelf (COTS) motion sensors for hydraulic environments are discussed. Possible areas of application, are river bed sediment transport monitoring and monitoring the agitation and other physical parameters inside milk vats with a mechanized agitator. Simplified calculations of inertial navigation systems (INSs) such as Euler angle method, MATLAB programs for further processing, power management systems for autonomous operation including the possibility of inductive power transfer (IPT) and use of microelectromechanical systems (MEMS) technology are discussed. Experimental results for proof of concept systems are highlighted

Monitoring of Spatial Data Infraestructures

SDI monitoring and evaluation is increasingly attracting the attention of both public sector bureaucrats seeking justification for providing public sources to SDI and SDI practitioners requiring a measure of success of their SDI strategy. In recent years, a shift from an intuitive to more rational SDI assessments can be observed. SDI monitoring and evaluation is becoming operational and is already part of some SDI implementations and practices. Based on an analysis of the operational monitoring systems of the Dutch national SDI (GIDEON), the European SDI (INSPIRE) and the Catalan SDI (IDEC). We describe, analyze and compare comprehensively the design and application of operational SDI monitoring systems and identify common issues to be taken into account for monitoring of SDIs. This can support further improvement of evaluation practices and operational setups of SDI monitoring systems

Big data for monitoring educational systems

This report considers “how advances in big data are likely to transform the context and methodology of monitoring educational systems within a long-term perspective (10-30 years) and impact the evidence based policy development in the sector”, big data are “large amounts of different types of data produced with high velocity from a high number of various types of sources.” Five independent experts were commissioned by Ecorys, responding to themes of: students' privacy, educational equity and efficiency, student tracking, assessment and skills. The experts were asked to consider the “macro perspective on governance on educational systems at all levels from primary, secondary education and tertiary – the latter covering all aspects of tertiary from further, to higher, and to VET”, prioritising primary and secondary levels of education

Monitoring distributed systems with distributed polyLarva

polyLarva is a language-agnostic runtime verification tool, which converts a polyLarvaScript into a monitor for a given system. While an implementation for polyLarva exists, the language and its compilation have not been formalised. We therefore present a formal implementation-independent model which describes the behaviour of polyLarvaScript, comprising of the uLarvaScript grammar and of a set of operational semantics. This allows us to prove important properties, such as determinism, and also enables us to reason about ways of re-designing the tool in a more scalable way. We also present a collection of denotational mappings for uLarvaScript converting the constructs of our grammar into constructs of a formal actor-based model, thus providing an Actor semantics for uLarvaScript. We are also able to prove certain correctness properties of the denotational translation such as that the denoted Actors behave in a way which corresponds to the behaviour described by our implementation-independent model. We finally present distPolyLarva, a prototype implementation of the distributed polyLarva tool, which implements the new actor-based semantics over a language that can natively handle distribution and concurrency called Erlang.peer-reviewe

Rapid design of tool-wear condition monitoring systems for turning processes using novelty detection

Condition monitoring systems of manufacturing processes have been recognised in recent years as one of the key technologies that provide the competitive advantage in many manufacturing environments. It is capable of providing an essential means to reduce cost, increase productivity, improve quality and prevent damage to the machine or workpiece. Turning operations are considered one of the most common manufacturing processes in industry. It is used to manufacture different round objects such as shafts, spindles and pins. Despite recent development and intensive engineering research, the development of tool wear monitoring systems in turning is still ongoing challenge. In this paper, force signals are used for monitoring tool-wear in a feature fusion model. A novel approach for the design of condition monitoring systems for turning operations using novelty detection algorithm is presented. The results found prove that the developed system can be used for rapid design of condition monitoring systems for turning operations to predict tool-wear